Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 4 of 4 for:
theorem proving
1 ?
 21,213,375 websites (safe search)

  1. Mathematical Reasoning Group

    MRG home page · Research · Publications · Projects · Software · People Mathematical Reasoning Group The Mathematical Reasoning Group is a distributed research gro ...
    Scotland3
    University of Edinburgh1
    Dream Group1
    Theorem Proving1
    Rippling1
    Proof Planning1
    Formalised Mathematics1
    Inductive Theorem Proving1
    Interfaces for theorem provers1
    Mathematical Reasoning Group1
    Proof Assistants1

    dream.dai.ed.ac.uk - 2009-03-08

  2. H&S Information Systems

    Welcome to H&S Information Systems "Quality Software: Logically Designed, Expertly Crafted. " "+e3+" hsis"+"@"+"hsinfosystems.com"+" ") //--> Who We Are "+e3+" ...
    Editing3
    computer consulting2
    Logic2
    Technical writing2
    Software design2
    Copyediting1
    environmentalism1
    Java programming1
    Document preparation1
    Prolog1
    Webpage development1
    C++ programming1
    Knowledge representation1
    AI programming1
    Knowledge engineer1
    Theorem proving1
    Jay Halcomb1
    Randall Schulz1

    hsinfosystems.com - 2009-04-10

  3. Sean McLaughlin - Home Page

    Sean McLaughlin's home page
    computer5
    science3
    student3
    pittsburgh3
    graduate2
    CMU1
    sml1
    programming languages1
    theorem proving1
    Sean McLaughlin1
    seanmcl0

    www.seanmcl.com - 2009-02-12

  4. The CALCULEMUS Interest Group

    This is the home page for the CALCULEMUS Project
    development5
    systems4
    open4
    interactive3
    proof2
    systems integration2
    artificial intelligence2
    reasoning1
    computer algebra1
    symbolic computation1
    formal methods1
    knowledge representation1
    mechanized1
    theorem proving1
    automated reasoning1
    type theory1
    proof planning1
    calculemus1
    OMRS1
    formalized mathematics0
    mechanized reasoning0
    tactical theorem proving0

    www.calculemus.net - 2009-02-11

Gnomit  
About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.